algebraic structure
noun
°One or more sets together with a set of operations such that the sets are closed under the operations and are satisfying some axioms.